On Recurrence Formulae
نویسندگان
چکیده
منابع مشابه
Recurrence Formulae for Multi-poly-bernoulli Numbers
In this paper we establish recurrence formulae for multi-poly-Bernoulli numbers. –Dedicated to Professor Ryuichi Tanaka on the occasion of his sixtieth birthday
متن کاملOn Prime-Detecting Sequences From Apéry’s Recurrence Formulae for ζ(3) and ζ(2)
We consider the linear three-term recurrence formula Xn = (34(n− 1) + 51(n− 1) + 27(n− 1) + 5)Xn−1 − (n− 1)Xn−2 (n ≥ 2) corresponding to Apéry’s non-regular continued fraction for ζ(3). It is shown that integer sequences (Xn)n≥0 with 5X0 6= X1 satisfying the above relation are primedetecting, i.e., Xn 6≡ 0 (modn) if and only if n is a prime not dividing |5X0 − X1|. Similar results are given for...
متن کاملOn Constructing Minimal Formulae
Given a Boolean propositional formula, φ(Xn) over the basis Ω = {∧,∨,¬} we consider the following decision problem: is there a subset of literals, S, for which φ(Xn) ≡ ∧ y∈S y or φ(Xn) ≡ ∨ y∈S y? We prove that the “obvious” Σ p 2 upper bound is sub-optimal and that the problem is decidable in PNP || the class of languages decidable by polynomial time methods allowed to make non-adaptive queries...
متن کاملReasoning on Schemata of Formulae
A logic is presented for reasoning on iterated sequences of formulæ over some given base language. The considered sequences, or schemata, are defined inductively, on some algebraic structure (for instance the natural numbers, the lists, the trees etc.). A proof procedure is proposed to relate the satisfiability problem for schemata to that of finite disjunctions of base formulæ. It is shown tha...
متن کاملMore on Super-replication Formulae
Abstract. We extend Norton-Borcherds-Koike’s replication formulae to super-replicable ones by working with the congruence groups Γ1(N) and find the product identities which characterize super-replicable functions. These will provide a clue for constructing certain new infinite dimensional Lie superalgebras whose denominator identities coincide with the above product identities. Therefore it cou...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Proceedings of the Glasgow Mathematical Association
سال: 1956
ISSN: 2040-6185,2051-2104
DOI: 10.1017/s2040618500033402